#include "seccomp.h"
int main(){
    char buf [1024] = {0}; 
    write(1,"hello world\n",12);
    buf[read(0,buf,1023)] = 0;
    write(1,buf,strlen(buf));

}